Cloud computing deals with voluminous heterogeneous data, and there is a need to effectively distribute the load across clusters of nodes to achieve optimal performance in terms of resource usage, throughput, response time, reliability, fault tolerance, and so on. The swarm intelligence methodologies use artificial intelligence to solve computationally challenging problems like load balancing, scheduling, and resource allocation at finite time intervals. In literature, sufficient works are being carried out to address load balancing problem in the cloud using traditional (...) swarm intelligence techniques like ant colony optimization, particle swarm optimization, cuckoo search, bat optimization, and so on. But the traditional swarm intelligence techniques have issues with respect to convergence rate, arriving at the global optimum solution, complexity in implementation and scalability, which limits the applicability of such techniques in cloud domain. In this paper, we look into performance modeling aspects of some of the recent competitive swarm artificial intelligence based techniques like the whale, spider, dragonfly, and raven which are used for load balancing in the cloud. The results and analysis are presented over performance metrics such as total execution time, response time, resource utilization rate, and throughput achieved, and it is found that the performance of the raven roosting algorithm is high compared to other techniques. (shrink)

This paper presents an exercise in the formalization of political principles, by taking as its theme the concept of distributive justice that Karl Marx advanced in his Critique of the Gotha Programme. We first summarize the content of the Critique of the Gotha Programme. Next, we transcribe the core of Marx’s presentation of the concept of distributive justice. Following, we present our formalization of Marx’s conception. Then, we make use of that formal analysis to confront Marx’s principle of distributive justice (...) with John Rawls’ conception of justice as fairness, and the principles of distributive justice that derive from it. Finally, we discuss methodological issues relative to, and implications of, the way of formalizing political principles introduced here. (shrink)

In the legal domain, ontologies enjoy quite some reputation as a way to model normative knowledge about laws and jurisprudence. This paper describes the methodology followed when developing the ontology used by the second version of the prototype Iuriservice, a web-based intelligent FAQ for judicial use. This modeling methodology has had two important requirements: on the one hand, the ontology needed to be extracted from a repository of professional judicial knowledge (containing nearly 800 questions regarding daily practice). Thus, the (...) construction of ontologies of professional judicial knowledge demanded the description of this knowledge as it is perceived by the judge. On the other hand, due to the distributiveness of the environment, there was a need for controlled discussion and traceability of the arguments used in favor or against the introduction of a concept X as part of the domain ontology. This paper presents the Ontology of Professional Judicial Knowledge (OPJK), extracted manually from the selection of relevant terms from judicial practice questions and modeled according to the DILIGENT methodology. We will show that DILIGENT has proved to be a methodology that facilitates the ontology engineering in a distributed environment, although appropriate tool support needs to be developed. (shrink)

The study considers the development of methods for detecting anomalous network connections based on hybridization of computational intelligence methods. An analysis of approaches to detecting anomalies and abuses in computer networks. In the framework of this analysis, a classification of methods for detecting network attacks is proposed. The main results are reduced to the construction of multi-class models that increase the efficiency of the attack detection system, and can be used to build systems for classifying network parameters during the attack. (...) A model of an artificial immune system based on an evolutionary approach, an algorithm for genetic-competitive learning of the Kohonen network and a method of hierarchical hybridization of binary classifiers with the addition to the detection of anomalous network connections have been developed. The architecture of the network distributed attack detection system has been developed. The architecture of the attack detection system is two-tier: the first level provides the primary analysis of individual packets and network connections using signature analysis, the second level processes the processing of aggregate network data streams using adaptive classifiers. A signature analysis was performed to study network performance based on the Aho-Korasik and Boyer-Moore algorithms and their improved analogues were implemented using OpenMP and CUDA technologies. The architecture is presented and the main points of operation of the network attack generator are shown. A system for generating network attacks has been developed. This system consists of two components: an asynchronous transparent proxy server for TCP sessions and a frontend interface for a network attack generator. The results of the experiments confirmed that the functional and non-functional requirements, as well as the requirements for computing intelligent systems, are met for the developed attack detection system. (shrink)

Computational philosophy (CP) aims at investigating many important concepts and problems of the philosophical and epistemological tradition in a new way by taking advantage of information-theoretic, cognitive, and artificial intelligence methodologies. I maintain that the results of computational philosophy meet the classical requirements of some Peircian pragmatic ambitions. Indeed, more than a 100 years ago, the American philosopher C.S. Peirce, when working on logical and philosophical problems, suggested the concept of pragmatism(pragmaticism, in his own words) as a logical criterion (...) to analyze what words and concepts express through their practical meaning. Many words have been spent on creative processes and reasoning, especially in the case of scientific practices. In fact, many philosophers have usually offered a number of ways of construing hypotheses generation, but they aim at demonstrating that the activity of generating hypotheses is paradoxical, obscure, and thus not analyzable. Those descriptions are often so far from Peircian pragmatic prescription and so abstract to result completely unknowable and obscure. To dismiss this tendency and gain interesting insight about the so-called logic of scientific discovery we need to build constructive procedures, which could play a role in moving the problem-solving process forward by implementing them in some actual models. The computational turn gives us a new way to understand creative processes in a strictly pragmatic sense. In fact, by exploiting artificial intelligence and cognitive science tools, computational philosophy allows us to test concepts and ideas previously conceived only in abstract terms. It is in the perspective of these actual computational models that I find the central role of abduction in the explanation of creative reasoning in science. I maintain that the computational philosophy analysis of model-based and manipulative abduction and of external and epistemic mediators is important not only to delineate the actual practice of abduction, but also to further enhance the development of programs computationally adequate in rediscovering, or discovering for the first time, for example, scientific hypotheses or mathematical theorems. The last part of the paper is devoted to illustrating the problem of the extra-theoretical dimension of reasoning and discovery from the perspective of some mathematical cases derived from calculus and geometry. (shrink)

Natural languages contain many layers of sequential structure, from the distribution of phonemes within words to the distribution of phrases within utterances. However, most research modeling language acquisition using artificial languages has focused on only one type of distributional structure at a time. In two experiments, we investigated adult learning of an artificial language that contains dependencies between both adjacent and non-adjacent words. We found that learners rapidly acquired both types of regularities and that the strength of (...) the adjacent statistics influenced learning of both adjacent and non-adjacent dependencies. Additionally, though accuracy was similar for both types of structure, participants’ knowledge of the deterministic non-adjacent dependencies was more explicit than their knowledge of the probabilistic adjacent dependencies. The results are discussed in the context of current theories of statistical learning and language acquisition. (shrink)

Multi-level institutional designs with distributed power and authority arrangements among federal, state, regional, and local government agencies could lead to the emergence of differential patterns of socioeconomic and infrastructure development pathways in complex social–ecological systems. Both exogenous drivers and endogenous processes in social–ecological systems can lead to changes in the number of “basins of attraction,” changes in the positions of the basins within the state space, and changes in the positions of the thresholds between basins. In an effort to (...) advance the theory and practice of the governance of policy systems, this study addresses a narrower empirical question: how do intergovernmental institutional rules set by federal, state, and regional government agencies generate and sustain basins of attraction in funding infrastructure projects? A pattern-oriented, agent-based model (ABM) of an intergovernmental network has been developed to simulate real-world transportation policy implementation processes across the federal, the state of Vermont, regional, and local governments for prioritizing transportation projects. The ABM simulates baseline and alternative intergovernmental institutional rule structures and assesses their impacts on financial investment flows. The ABM was calibrated with data from multiple focus groups, individual interviews, and analysis of federal, state, and regional scale transportation projects and programs. The results from experimental simulations are presented to test system-wide effects of alternative multi-level institutional designs, in particular different power and authority arrangements between state and regional governments, on the emergence of roadway project prioritization patterns and funding allocations across regions and towns. (shrink)

Distributed Artificial Intelligence (DAI) deals with computational systems where several intelligent components interact in a common environment. This paper is aimed at pointing out and fostering the exchange between DAI and cognitive and social science in order to deal with the issues of interaction, and in particular with the reasons and possible strategies for social behaviour in multi-agent interaction is also described which is motivated by requirements of cognitive plausibility and grounded the notions of power, dependence and help. (...) Connections with human-computer interaction are also suggested. (shrink)

In current philosophical research the term 'philosophy of social action' can be used - and has been used - in a broad sense to encompass the following central research topics: 1) action occurring in a social context; this includes multi-agent action; 2) joint attitudes (or "we-attitudes" such as joint intention, mutual belief) and other social attitudes needed for the explication and explanation of social action; 3) social macro-notions, such as actions performed by social groups and properties of social groups such (...) as their goals and beliefs; 4) social norms and social institutions (see Tuomela, 1984, 1995). The theory of social action understood analogously in a broad sense would then involve not only philosophical but all other relevant theorizing about social action. Thus, in this sense, such fields of Artificial Intelligence (AI) as Distributed AI (DAI) and the theory of Multi-Agent Systems (MAS) fall within the scope of the theory of social action. DAI studies the social side of computer systems and includes various well-known areas ranging from Human Computer Interaction, Computer-Supported Cooperative Work, Organizational Processing, Distributed Problem Solving to Simulation of Social Systems and Organizations. Even if I am a philosopher with low artificial intelligence I will below try to say something about what the scope of DAI should be taken to be on conceptual and philosophical grounds. (In the later sections of the paper the central notion of joint intention will be the main topic - in order to illustrate how philosophers and DAI-researchers approach this issue.) Let us now consider the relationship between philosophy - especially philosophy of social action - and DAI. Both are concerned with social matters and in this sense seem to have a connection to social science proper. What kinds of questions should these areas of study be concerned with? In principle, ordinary social science should study all aspects of social life (in various societies and cultures), try to describe it and create general theories to explain it. (shrink)

This paper studies the traditional target classification and recognition algorithm based on Histogram of Oriented Gradients feature extraction and Support Vector Machine classification and applies this algorithm to distributed artificial intelligence image recognition. Due to the huge number of images, the general detection speed cannot meet the requirements. We have improved the HOG feature extraction algorithm. Using principal component analysis to perform dimensionality reduction operations on HOG features and doing distributed artificial intelligence image recognition experiments, the (...) results show that the image detection efficiency is slightly improved, and the detection speed is also improved. This article analyzes the reason for these changes because PCA mainly uses the useful feature information in HOG features. The parallelization processing of HOG features on graphics processing unit is studied. GPU is used for high parallel and high-density calculations, and the calculation of HOG features is very complicated. Using GPU for parallelization of HOG features can make the calculation speed of HOG features improved. We use image experiments for the parallelized HOG feature algorithm. Experimental simulations show that the speed of distributed artificial intelligence image recognition is greatly improved. By analyzing the existing digital image recognition methods, an improved BP neural network algorithm is proposed. Under the premise of ensuring accuracy, the recognition speed of digital images is accelerated, the time required for recognition is reduced, real-time performance is guaranteed, and the effectiveness of the algorithm is verified. (shrink)

The competition in higher education has increased, while lecturers are involved in multiple assignments that include teaching, research and publication, consultancy, and community services. The demanding nature of academia leads to excessive work load and stress among academicians in higher education. Notably, offering the right motivational mix could lead to job satisfaction and performance. The current study aims to demonstrate the effects of extrinsic and intrinsic motivational factors influencing job satisfaction and job performance among academicians working in Malaysian private higher (...) educational institutions. Cross-sectional data were collected from the Malaysian PHEIs and the randomly selected 343 samples. The data analysis was performed with the dual analysis of partial least square structural equation modeling and artificial neural network analysis. As a result, it was found that financial rewards, promotion, performance appraisal, classroom environment, and code of conduct significantly predicted job satisfaction. The code of conduct, autonomy, and self-efficacy strongly influenced job performance. The relationship between job satisfaction and job performance was highly moderated by self-efficacy. It was suggested from the ANN analysis that the three prominent factors influencing job satisfaction are financial rewards, performance appraisal, and code of conduct. The analysis supported three significant factors influencing job performance: self-efficacy, performance appraisal, and code of conduct. The management of PHEIs should build the correct policies to transform job satisfaction into job performance. Self-efficacy plays an essential role in activating job performance. Other significant motivating factors that promote job satisfaction and performance, such as emotional intelligence, mindfulness, and other personal traits, should be included in future studies. In addition, future research could use a mixed-method or multi-respondent approach to investigate the important variables and their impact on lecturers’ job satisfaction and performance. (shrink)

In the multidisciplinary field of developmental cognitive neuroscience, statistical associations between levels of description play an increasingly important role. One example of such associations is the observation of correlations between relatively common gene variants and individual differences in behavior. It is perhaps surprising that such associations can be detected despite the remoteness of these levels of description, and the fact that behavior is the outcome of an extended developmental process involving interaction of the whole organism with a variable environment. Given (...) that they have been detected, how do such associations inform cognitive-level theories? To investigate this question, we employed a multiscale computational model of development, using a sample domain drawn from the field of language acquisition. The model comprised an artificial neural network model of past-tense acquisition trained using the backpropagation learning algorithm, extended to incorporate population modeling and genetic algorithms. It included five levels of description—four internal: genetic, network, neurocomputation, behavior; and one external: environment. Since the mechanistic assumptions of the model were known and its operation was relatively transparent, we could evaluate whether cross-level associations gave an accurate picture of causal processes. We established that associations could be detected between artificial genes and behavioral variation, even under polygenic assumptions of a many-to-one relationship between genes and neurocomputational parameters, and when an experience-dependent developmental process interceded between the action of genes and the emergence of behavior. We evaluated these associations with respect to their specificity, to their developmental stability, and to their replicability, as well as considering issues of missing heritability and gene–environment interactions. We argue that gene–behavior associations can inform cognitive theory with respect to effect size, specificity, and timing. The model demonstrates a means by which researchers can undertake multiscale modeling with respect to cognition and develop highly specific and complex hypotheses across multiple levels of description. (shrink)

Context has emerged as a central concept in a variety of contemporary approaches to reasoning. The conference at which the papers in this volume were presented, CONTEXT 2001, was the third international, interdisciplinary conference on the topic of context, and was held in Dundee, Scotland on July 27-30, 2001.

Although there have been efforts to integrate Semantic Web technologies and artificial agents related AI research approaches, they remain relatively isolated from each other. Herein, we introduce a new ontology framework designed to support the knowledge representation of artificial agents’ actions within the context of the actions of other autonomous agents and inspired by standard cognitive architectures. The framework consists of four parts: 1) an event ontology for information pertaining to actions and events; 2) an epistemic ontology containing (...) facts about knowledge, beliefs, perceptions and communication; 3) an ontology concerning future intentions, desires, and aversions; and, finally, 4) a deontic ontology for modeling obligations and prohibitions which limit agents’ actions. The architecture of the ontology framework is inspired by deontic cognitive event calculus as well as epistemic and deontic logic. We also describe a case study in which the proposed DCEO ontology supports autonomous vehicle navigation. (shrink)

Clark Glymour, Richard Scheines, Peter Spirtes and Kevin Kelly. Discovering Causal Structure: Artifical Intelligence, Philosophy of Science and Statistical Modeling.

We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In this model, multisets of goods, allocations of resources, preferences of agents, and deals are all modelled as formulas of linear logic. Whether or not a proposed deal is rational, given the preferences of the agents concerned, reduces to a question of provability, as does the question of whether (...) there exists a sequence of deals leading to an allocation with certain desirable properties, such as maximising social welfare. Thus, linear logic provides a formal basis for modelling convergence properties in distributed resource allocation. (shrink)

The aim of this paper is to grasp the relevant distinctions between various ways in which models and simulations in Artificial Intelligence (AI) relate to cognitive phenomena. In order to get a systematic picture, a taxonomy is developed that is based on the coordinates of formal versus material analogies and theory-guided versus pre-theoretic models in science. These distinctions have parallels in the computational versus mimetic aspects and in analytic versus exploratory types of computer simulation. The proposed taxonomy cuts across (...) the traditional dichotomies between symbolic and embodied AI, general intelligence and symbol and intelligence and cognitive simulation and human/non-human-like AI. -/- According to the taxonomy proposed here, one can distinguish between four distinct general approaches that figured prominently in early and classical AI, and that have partly developed into distinct research programs: first, phenomenal simulations (e.g., Turing’s “imitation game”); second, simulations that explore general-level formal isomorphisms in pursuit of a general theory of intelligence (e.g., logic-based AI); third, simulations as exploratory material models that serve to develop theoretical accounts of cognitive processes (e.g., Marr’s stages of visual processing and classical connectionism); and fourth, simulations as strictly formal models of a theory of computation that postulates cognitive processes to be isomorphic with computational processes (strong symbolic AI). -/- In continuation of pragmatic views of the modes of modeling and simulating world affairs, this taxonomy of approaches to modeling in AI helps to elucidate how available computational concepts and simulational resources contribute to the modes of representation and theory development in AI research—and what made that research program uniquely dependent on them. (shrink)

Much legal research focuses on understanding how judicial decision-makers exercise their discretion. In this paper we examine the notion of legal or judicial discretion, and weaker and stronger forms of discretion. At all times our goal is to build cognitive models of the exercise of discretion, with a view to building computer software to model and primarily support decision-making. We observe that discretionary decision-making can best be modeled using three independent axes: bounded and unbounded, defined and undefined, and binary and (...) continuous. Examples of legal tasks are given from each of the eight ensuing octants and we conclude by saying what this model shows about current legal trends. We should stress that our taxonomy has been based on our observations of how discretionary legal decisions are made. No claim is made that our model is either complete (providing advice in every domain) or exact, but it does help knowledge engineers construct legal decision support systems in discretionary domains. (shrink)

Public policies are designed to have an impact on particular societies, yet policy-oriented computer models and simulations often focus more on articulating the policies to be applied than on realistically rendering the cultural dynamics of the target society. This approach can lead to policy assessments that ignore crucial social contextual factors. For example, by leaving out distinctive moral and normative dimensions of cultural contexts in artificial societies, estimations of downstream policy effectiveness fail to account for dynamics that are fundamental (...) in human life and central to many public policy challenges. In this paper, we supply evidence that incorporating morally salient dimensions of a culture is critically important for producing relevant and accurate evaluations of social policy when using multi-agent artificial intelligence models and simulations. (shrink)